function a<T<|>: X>() {}
